Synthesizing Protection Monitors from Causal Structure
نویسندگان
چکیده
Protection monitors synthesized from plan causal structure provide execution systems with information necessary to detect potential failures early during execution. By detecting early, the execution system is able to address these problems and keep the execution on track. When the execution system finds that the necessary repairs are beyond its capabilities, early detection gives the planning system additional time to suggest a repair. This paper discusses how protection monitors are synthesized directly from plan causal structure, and the options which are available to an execution system when protection violations occur.
منابع مشابه
Monitoring Off-the-Shelf Components
Software is being developed from off-the-shelf third party components. The interface specification of such a component may be under specified or may not fully match the user requirement. In this paper, we address the problem of customizing such components to particular users. We achieve this by constructing a monitor that monitors the component and detects any bad behaviors. Construction of suc...
متن کاملTemporal Causal Diagrams for Diagnosing Failures in Cyber-Physical Systems
Resilient and reliable operation of cyber physical systems of societal importance such as Smart Electric Grids is one of the top national priorities. Due to their critical nature, these systems are equipped with fast-acting, local protection mechanisms. However, commonly misguided protection actions together with system dynamics can lead to un-intentional cascading effects. This paper describes...
متن کاملElectromagnetic Radiofrequency Radiation Emitted from GSM Mobile Phones Decreases the Accuracy of Home Blood Glucose Monitors
Mobile phones are two-way radios that emit electromagnetic radiation in microwave range. As the number of mobile phone users has reached 6 billion, the bioeffects of exposure to mobile phone radiation and mobile phone electromagnetic interference with electronic equipment have received more attention, globally. As self-monitoring of blood glucose can be a beneficial part of diabetes control, ho...
متن کاملApplying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties
Runtime monitoring is an important technique for catching failures. This work shows how to synthesize hardware runtime monitors using High-Level Synthesis to check system requirements that are formalized and expressed in Signal Temporal Logic. We describe our flow starting from a natural language requirement to hardware implementation. As a case study, we apply our flow to monitor a mission-cri...
متن کاملGenetic Diversity and Phylogenetic Study of Xanthomonas arboricola pv. juglandis the Causal Agent of Walnut Bacterial Blight Disease
Bacterial blight (Xanthomonas arboricola pv.juglandis) is one of the main diseases of walnut that reduce the yield in the central, western and northern regions of Iran. This disease was first reported form, Qazvin and Mazandaran, then widely reported from northern, central and western provinces. To identify the cause of the disease in different provinces, infected leaves collected from Alborze,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994